EXPECT_EQ(21655ul, div64x32u(27205533106217ull, 1256286084ul, 0) );
EXPECT_EQ(78645ul, div64x32u(126092402113900ull, 1603299666ul, 0) );
EXPECT_EQ(153170ul, div64x32u(99992978134601ull, 652820923ul, 0) );
EXPECT_EQ(143970ul, div64x32u(51290695729643ull, 356258523ul, 0) );
EXPECT_EQ(875801ul, div64x32u(16759919509127ull, 19136665ul, 0) );
EXPECT_EQ(61652ul, div64x32u(80385749626974ull, 1303858438ul, 0) );
EXPECT_EQ(517904ul, div64x32u(63442385769799ull, 122498322ul, 0) );
EXPECT_EQ(174197ul, div64x32u(112955027049928ull, 648430219ul, 0) );
EXPECT_EQ(116148ul, div64x32u(134528526151711ull, 1158248061ul, 0) );
EXPECT_EQ(73577ul, div64x32u(33119485104696ull, 450129501ul, 0) );
EXPECT_EQ(106827ul, div64x32u(140284033524683ull, 1313177589ul, 0) );
EXPECT_EQ(820116ul, div64x32u(41837848113723ull, 51014537ul, 0) );
EXPECT_EQ(5048975ul, div64x32u(95305523212316ull, 18876210ul, 0) );
EXPECT_EQ(25875ul, div64x32u(38406190036378ull, 1484278592ul, 0) );
EXPECT_EQ(42732ul, div64x32u(68248590445366ull, 1597119049ul, 0) );
EXPECT_EQ(574418ul, div64x32u(133578761321462ull, 232546121ul, 0) );
EXPECT_EQ(84152ul, div64x32u(103440819637421ull, 1229213170ul, 0) );
EXPECT_EQ(18374ul, div64x32u(31680004238912ull, 1724135019ul, 0) );
EXPECT_EQ(291470ul, div64x32u(105769990570544ull, 362884155ul, 0) );
EXPECT_EQ(8249ul, div64x32u(8943178241058ull, 1084053905ul, 0) );
EXPECT_EQ(13391ul, div64x32u(19926392443617ull, 1487959002ul, 0) );
EXPECT_EQ(6751ul, div64x32u(9905110591178ull, 1467120569ul, 0) );
EXPECT_EQ(281409ul, div64x32u(115639583314845ull, 410929792ul, 0) );
EXPECT_EQ(61810ul, div64x32u(66887280563909ull, 1082135529ul, 0) );
EXPECT_EQ(26856ul, div64x32u(39347066396082ull, 1465075916ul, 0) );
EXPECT_EQ(84689ul, div64x32u(66891370946751ull, 789843903ul, 0) );
EXPECT_EQ(79494ul, div64x32u(72761116355286ull, 915297500ul, 0) );
EXPECT_EQ(174524ul, div64x32u(129671396265318ull, 742999639ul, 0) );
EXPECT_EQ(121700ul, div64x32u(119199032622177ull, 979445903ul, 0) );
EXPECT_EQ(34404ul, div64x32u(41912401732301ull, 1218207389ul, 0) );
EXPECT_EQ(109829ul, div64x32u(118139005311254ull, 1075655398ul, 0) );
EXPECT_EQ(1290341ul, div64x32u(139977338155504ull, 108480842ul, 0) );
EXPECT_EQ(84014ul, div64x32u(118644593345538ull, 1412190265ul, 0) );
EXPECT_EQ(10877ul, div64x32u(17357771315539ull, 1595805202ul, 0) );
EXPECT_EQ(133669ul, div64x32u(40263044311091ull, 301214476ul, 0) );
EXPECT_EQ(62096ul, div64x32u(99640738602453ull, 1604603092ul, 0) );
EXPECT_EQ(131ul, div64x32u(227943522393ull, 1731332047ul, 0) );
EXPECT_EQ(531285ul, div64x32u(16269788343586ull, 30623439ul, 0) );
EXPECT_EQ(90712ul, div64x32u(105863329943184ull, 1167022035ul, 0) );
EXPECT_EQ(45580ul, div64x32u(28420736420213ull, 623532317ul, 0) );
EXPECT_EQ(60238ul, div64x32u(81325704886245ull, 1350059051ul, 0) );
EXPECT_EQ(68245ul, div64x32u(135533070587009ull, 1985960206ul, 0) );
EXPECT_EQ(25551ul, div64x32u(25100510304336ull, 982351713ul, 0) );
EXPECT_EQ(93599ul, div64x32u(87982614478782ull, 939985941ul, 0) );
EXPECT_EQ(257933ul, div64x32u(125902775351099ull, 488121631ul, 0) );
EXPECT_EQ(21909ul, div64x32u(28424975573616ull, 1297371236ul, 0) );
EXPECT_EQ(45834ul, div64x32u(84135115831758ull, 1835618622ul, 0) );
EXPECT_EQ(125941ul, div64x32u(101457059146261ull, 805587050ul, 0) );
EXPECT_EQ(149793ul, div64x32u(78127039715222ull, 521565145ul, 0) );
EXPECT_EQ(130307ul, div64x32u(98304510072879ull, 754404052ul, 0) );
EXPECT_EQ(78250ul, div64x32u(104247618846538ull, 1332235863ul, 0) );
EXPECT_EQ(11262ul, div64x32u(20986937890934ull, 1863403963ul, 0) );
EXPECT_EQ(71416ul, div64x32u(102410520261805ull, 1433994632ul, 0) );
EXPECT_EQ(214474ul, div64x32u(80106111532286ull, 373499685ul, 0) );
EXPECT_EQ(360162ul, div64x32u(119797094026725ull, 332619589ul, 0) );
EXPECT_EQ(6122ul, div64x32u(10780538317272ull, 1760907787ul, 0) );
EXPECT_EQ(57571ul, div64x32u(57557819344325ull, 999761469ul, 0) );
EXPECT_EQ(67445ul, div64x32u(45462556655655ull, 674061942ul, 0) );
EXPECT_EQ(190745ul, div64x32u(122911138671056ull, 644373709ul, 0) );
EXPECT_EQ(8212ul, div64x32u(9251632806100ull, 1126524025ul, 0) );
EXPECT_EQ(7244ul, div64x32u(10172535754248ull, 1404137492ul, 0) );
EXPECT_EQ(114018ul, div64x32u(71077638842683ull, 623385873ul, 0) );
EXPECT_EQ(88191ul, div64x32u(93279283344833ull, 1057689257ul, 0) );
EXPECT_EQ(135976ul, div64x32u(111653036699783ull, 821117231ul, 0) );
EXPECT_EQ(6738984ul, div64x32u(85324963076117ull, 12661397ul, 0) );
EXPECT_EQ(83076ul, div64x32u(87686268410523ull, 1055485566ul, 0) );
EXPECT_EQ(45061ul, div64x32u(53494884753320ull, 1187144838ul, 0) );
EXPECT_EQ(110471ul, div64x32u(88783321312693ull, 803673754ul, 0) );
EXPECT_EQ(2240218ul, div64x32u(133940151259353ull, 59788885ul, 0) );
EXPECT_EQ(49454ul, div64x32u(89958210087480ull, 1819021529ul, 0) );
EXPECT_EQ(3218938ul, div64x32u(101560078462625ull, 31550798ul, 0) );
EXPECT_EQ(613246ul, div64x32u(86854348836912ull, 141630425ul, 0) );
EXPECT_EQ(60797ul, div64x32u(47989009814943ull, 789326050ul, 0) );
EXPECT_EQ(86531ul, div64x32u(113556363433115ull, 1312310117ul, 0) );
EXPECT_EQ(23584ul, div64x32u(20381553813034ull, 864178345ul, 0) );
EXPECT_EQ(131006ul, div64x32u(120353866784889ull, 918685816ul, 0) );
EXPECT_EQ(115358ul, div64x32u(77129671854435ull, 668605663ul, 0) );
EXPECT_EQ(11202ul, div64x32u(18959720844841ull, 1692410978ul, 0) );
EXPECT_EQ(134980ul, div64x32u(104678638645910ull, 775507647ul, 0) );
EXPECT_EQ(226789ul, div64x32u(121535180271014ull, 535895390ul, 0) );
EXPECT_EQ(6722ul, div64x32u(7574142207341ull, 1126697580ul, 0) );
EXPECT_EQ(72861ul, div64x32u(36421525976737ull, 499872285ul, 0) );
EXPECT_EQ(1296545ul, div64x32u(131112735281858ull, 101124673ul, 0) );
EXPECT_EQ(138511ul, div64x32u(128729482200964ull, 929379077ul, 0) );
EXPECT_EQ(50482ul, div64x32u(75185200331035ull, 1489333193ul, 0) );
EXPECT_EQ(297ul, div64x32u(610441900775ull, 2050376518ul, 0) );
EXPECT_EQ(56103ul, div64x32u(82408055255816ull, 1468866728ul, 0) );
EXPECT_EQ(62001ul, div64x32u(125285131254014ull, 2020671723ul, 0) );
EXPECT_EQ(169990ul, div64x32u(81159390252287ull, 477434427ul, 0) );
EXPECT_EQ(41502ul, div64x32u(58815291339014ull, 1417153159ul, 0) );
EXPECT_EQ(76867ul, div64x32u(114143190150515ull, 1484936382ul, 0) );
EXPECT_EQ(65168ul, div64x32u(96491873724094ull, 1480659526ul, 0) );
EXPECT_EQ(3160ul, div64x32u(4373946850603ull, 1384083248ul, 0) );
EXPECT_EQ(615296ul, div64x32u(77683257006704ull, 126253396ul, 0) );
EXPECT_EQ(220157ul, div64x32u(138169409676082ull, 627593051ul, 0) );
EXPECT_EQ(291925ul, div64x32u(97745655002643ull, 334830588ul, 0) );
EXPECT_EQ(65509ul, div64x32u(126981827862218ull, 1938361759ul, 0) );
EXPECT_EQ(52602ul, div64x32u(110067298941066ull, 2092439037ul, 0) );
EXPECT_EQ(3670893ul, div64x32u(29645733389135ull, 8075890ul, 0) );
EXPECT_EQ(26720ul, div64x32u(56955806244884ull, 2131568595ul, 0) );
EXPECT_EQ(80805ul, div64x32u(26637928498416ull, 329654196ul, 0) );
EXPECT_EQ(78938ul, div64x32u(132162339950438ull, 1674254603ul, 0) );
EXPECT_EQ(64672ul, div64x32u(127948486103713ull, 1978415692ul, 0) );
EXPECT_EQ(98811ul, div64x32u(89554686858499ull, 906316006ul, 0) );
EXPECT_EQ(148524ul, div64x32u(81425150867636ull, 548226218ul, 0) );
EXPECT_EQ(12214ul, div64x32u(5154712924879ull, 422012362ul, 0) );
EXPECT_EQ(195860ul, div64x32u(83138518190335ull, 424478996ul, 0) );
EXPECT_EQ(42697ul, div64x32u(63940561802228ull, 1497517401ul, 0) );
EXPECT_EQ(43881ul, div64x32u(55805979932796ull, 1271753464ul, 0) );
EXPECT_EQ(58139ul, div64x32u(123284780161420ull, 2120495651ul, 0) );
EXPECT_EQ(60011ul, div64x32u(80846092900280ull, 1347172501ul, 0) );
EXPECT_EQ(45909ul, div64x32u(40188115573424ull, 875372878ul, 0) );
EXPECT_EQ(121297ul, div64x32u(102518099505817ull, 845181617ul, 0) );
EXPECT_EQ(35447ul, div64x32u(43432650289886ull, 1225273773ul, 0) );
EXPECT_EQ(66060ul, div64x32u(104897561832769ull, 1587895873ul, 0) );
EXPECT_EQ(19607ul, div64x32u(38363077743061ull, 1956599576ul, 0) );
EXPECT_EQ(35299ul, div64x32u(15394274422549ull, 436106278ul, 0) );
EXPECT_EQ(317785ul, div64x32u(61715791299148ull, 194205700ul, 0) );
EXPECT_EQ(5930ul, div64x32u(3912877935151ull, 659762547ul, 0) );
EXPECT_EQ(38294ul, div64x32u(55568593279296ull, 1451100335ul, 0) );
EXPECT_EQ(69450ul, div64x32u(97672278006986ull, 1406357199ul, 0) );
EXPECT_EQ(36673ul, div64x32u(76751276688801ull, 2092828250ul, 0) );
EXPECT_EQ(70157ul, div64x32u(102437052955493ull, 1460093942ul, 0) );
EXPECT_EQ(31451ul, div64x32u(54692912650413ull, 1738933861ul, 0) );
EXPECT_EQ(95785ul, div64x32u(43705717822900ull, 456287337ul, 0) );
EXPECT_EQ(1182ul, div64x32u(1289530976564ull, 1090598989ul, 0) );
EXPECT_EQ(31193ul, div64x32u(56446089121167ull, 1809525958ul, 0) );
EXPECT_EQ(116120ul, div64x32u(140352279836829ull, 1208682200ul, 0) );
EXPECT_EQ(751871ul, div64x32u(43122302217864ull, 57353313ul, 0) );
EXPECT_EQ(2678ul, div64x32u(2620770111080ull, 978584569ul, 0) );
EXPECT_EQ(43066ul, div64x32u(56562435976656ull, 1313365271ul, 0) );
EXPECT_EQ(483185ul, div64x32u(81992805607288ull, 169692201ul, 0) );
EXPECT_EQ(68002ul, div64x32u(83121494648198ull, 1222331250ul, 0) );
EXPECT_EQ(84236ul, div64x32u(48354186520692ull, 574030159ul, 0) );
EXPECT_EQ(58088ul, div64x32u(108508552178616ull, 1867984789ul, 0) );
EXPECT_EQ(225194ul, div64x32u(88512244158197ull, 393048684ul, 0) );
EXPECT_EQ(259018ul, div64x32u(109785596052621ull, 423852939ul, 0) );
EXPECT_EQ(70176ul, div64x32u(134176490746725ull, 1911975077ul, 0) );
EXPECT_EQ(161304ul, div64x32u(86823162171513ull, 538255851ul, 0) );
EXPECT_EQ(23293ul, div64x32u(24057804250552ull, 1032805216ul, 0) );
EXPECT_EQ(182311ul, div64x32u(120376780393070ull, 660279284ul, 0) );
EXPECT_EQ(68622ul, div64x32u(107246349076834ull, 1562843279ul, 0) );
EXPECT_EQ(243718ul, div64x32u(91143533985628ull, 373971079ul, 0) );
EXPECT_EQ(79658ul, div64x32u(95224310401339ull, 1195404129ul, 0) );
EXPECT_EQ(65778ul, div64x32u(32725029760900ull, 497504689ul, 0) );
EXPECT_EQ(24005ul, div64x32u(39653223307824ull, 1651835630ul, 0) );
EXPECT_EQ(941ul, div64x32u(1301475955567ull, 1382689950ul, 0) );
EXPECT_EQ(50069ul, div64x32u(58618603908079ull, 1170738075ul, 0) );
EXPECT_EQ(80471ul, div64x32u(92535796226433ull, 1149923368ul, 0) );
EXPECT_EQ(71519ul, div64x32u(65549906823414ull, 916529479ul, 0) );
EXPECT_EQ(8078ul, div64x32u(12306126237313ull, 1523402860ul, 0) );
EXPECT_EQ(64488ul, div64x32u(119702594413476ull, 1856185729ul, 0) );
EXPECT_EQ(62283ul, div64x32u(116618555839116ull, 1872388607ul, 0) );
EXPECT_EQ(317783ul, div64x32u(73458785285187ull, 231159895ul, 0) );
EXPECT_EQ(32704888ul, div64x32u(60195734105424ull, 1840573ul, 0) );
EXPECT_EQ(10830ul, div64x32u(8969552876583ull, 828181375ul, 0) );
EXPECT_EQ(208377ul, div64x32u(21687024179081ull, 104075849ul, 0) );
EXPECT_EQ(1194936ul, div64x32u(137696691366990ull, 115233509ul, 0) );
EXPECT_EQ(116630ul, div64x32u(60757976315138ull, 520946354ul, 0) );
EXPECT_EQ(62033ul, div64x32u(110038466572843ull, 1773863660ul, 0) );
EXPECT_EQ(77834ul, div64x32u(77461097222584ull, 995196386ul, 0) );
EXPECT_EQ(106655ul, div64x32u(110076362562430ull, 1032072152ul, 0) );
EXPECT_EQ(427555ul, div64x32u(138542980222419ull, 324034750ul, 0) );
EXPECT_EQ(102007ul, div64x32u(140558627912299ull, 1377919811ul, 0) );
EXPECT_EQ(79519ul, div64x32u(96849249259395ull, 1217930520ul, 0) );
EXPECT_EQ(85398ul, div64x32u(100254303921451ull, 1173954443ul, 0) );
EXPECT_EQ(70419ul, div64x32u(94267986689806ull, 1338663408ul, 0) );
EXPECT_EQ(238760ul, div64x32u(104923471362318ull, 439451284ul, 0) );
EXPECT_EQ(76652ul, div64x32u(83216945139858ull, 1085633933ul, 0) );
EXPECT_EQ(318593ul, div64x32u(125160607727268ull, 392853598ul, 0) );
EXPECT_EQ(76586ul, div64x32u(102804773150784ull, 1342339190ul, 0) );
EXPECT_EQ(4155ul, div64x32u(4858985252171ull, 1169246006ul, 0) );
EXPECT_EQ(108628ul, div64x32u(140174979447073ull, 1290408026ul, 0) );
EXPECT_EQ(136944ul, div64x32u(92917693548146ull, 678505101ul, 0) );
EXPECT_EQ(41291ul, div64x32u(60164783494056ull, 1457069150ul, 0) );
EXPECT_EQ(76466ul, div64x32u(71443554440526ull, 934307519ul, 0) );
EXPECT_EQ(29776ul, div64x32u(52901841207444ull, 1776619637ul, 0) );
EXPECT_EQ(81949ul, div64x32u(90539824274908ull, 1104827206ul, 0) );
EXPECT_EQ(172667ul, div64x32u(134696052415986ull, 780090272ul, 0) );
EXPECT_EQ(495205ul, div64x32u(115575217655388ull, 233388598ul, 0) );
EXPECT_EQ(2739ul, div64x32u(5507783094089ull, 2010264917ul, 0) );
EXPECT_EQ(23424ul, div64x32u(29734412617900ull, 1269370615ul, 0) );
EXPECT_EQ(51967ul, div64x32u(81640066060070ull, 1570986075ul, 0) );
EXPECT_EQ(51727ul, div64x32u(42010513339699ull, 812148616ul, 0) );
EXPECT_EQ(34505ul, div64x32u(28769349894061ull, 833754581ul, 0) );
EXPECT_EQ(67384ul, div64x32u(27531987982130ull, 408582885ul, 0) );
EXPECT_EQ(171254ul, div64x32u(17004428341468ull, 99293533ul, 0) );
EXPECT_EQ(128706ul, div64x32u(123993045164725ull, 963379258ul, 0) );
EXPECT_EQ(40347ul, div64x32u(64928741865107ull, 1609252695ul, 0) );
EXPECT_EQ(6800ul, div64x32u(13053606895239ull, 1919448580ul, 0) );
EXPECT_EQ(43054ul, div64x32u(69084677041586ull, 1604604134ul, 0) );
EXPECT_EQ(298707ul, div64x32u(128054999146694ull, 428696927ul, 0) );
EXPECT_EQ(48598ul, div64x32u(73487000487619ull, 1512138026ul, 0) );
EXPECT_EQ(41420ul, div64x32u(77877918368532ull, 1880192260ul, 0) );
EXPECT_EQ(492160ul, div64x32u(55581827687937ull, 112934318ul, 0) );
EXPECT_EQ(229218ul, div64x32u(108164458238835ull, 471883978ul, 0) );
EXPECT_EQ(127070ul, div64x32u(94377734902735ull, 742720559ul, 0) );
EXPECT_EQ(44986ul, div64x32u(61398271482195ull, 1364819368ul, 0) );
EXPECT_EQ(567422ul, div64x32u(123051837302220ull, 216861222ul, 0) );
EXPECT_EQ(160935ul, div64x32u(129192923370069ull, 802760580ul, 0) );
EXPECT_EQ(59427ul, div64x32u(114585532655659ull, 1928142520ul, 0) );
EXPECT_EQ(16111ul, div64x32u(29275075518677ull, 1817058652ul, 0) );
EXPECT_EQ(1353521ul, div64x32u(118890895994874ull, 87838204ul, 0) );
EXPECT_EQ(126032ul, div64x32u(50088303203894ull, 397425025ul, 0) );
EXPECT_EQ(68512ul, div64x32u(76889842479741ull, 1122268337ul, 0) );
EXPECT_EQ(75607ul, div64x32u(136418897255813ull, 1804300039ul, 0) );
EXPECT_EQ(19139ul, div64x32u(40021309264582ull, 2091062754ul, 0) );
EXPECT_EQ(2491ul, div64x32u(4348045778675ull, 1745244816ul, 0) );
EXPECT_EQ(21779ul, div64x32u(17542403415602ull, 805460996ul, 0) );
EXPECT_EQ(75381ul, div64x32u(125208852452141ull, 1661010974ul, 0) );
EXPECT_EQ(95675ul, div64x32u(32173616281972ull, 336278928ul, 0) );
EXPECT_EQ(17558ul, div64x32u(34180427117986ull, 1946706066ul, 0) );
EXPECT_EQ(90800ul, div64x32u(108529597553491ull, 1195253047ul, 0) );
EXPECT_EQ(21913ul, div64x32u(46670944298807ull, 2129806587ul, 0) );
EXPECT_EQ(40223ul, div64x32u(32050435092294ull, 796813321ul, 0) );
EXPECT_EQ(307077ul, div64x32u(78993113624310ull, 257241837ul, 0) );
EXPECT_EQ(105575ul, div64x32u(28357304658327ull, 268597335ul, 0) );
EXPECT_EQ(46004ul, div64x32u(62708442229942ull, 1363090542ul, 0) );
EXPECT_EQ(32131ul, div64x32u(59624076101552ull, 1855652380ul, 0) );
EXPECT_EQ(34080ul, div64x32u(41090526351839ull, 1205688128ul, 0) );
EXPECT_EQ(63121ul, div64x32u(110931719322298ull, 1757427227ul, 0) );
EXPECT_EQ(4843461ul, div64x32u(72692613078694ull, 15008402ul, 0) );
EXPECT_EQ(76990ul, div64x32u(126959950258120ull, 1649031979ul, 0) );
EXPECT_EQ(1635ul, div64x32u(3402969056887ull, 2081052505ul, 0) );
EXPECT_EQ(26953ul, div64x32u(37427861929998ull, 1388603714ul, 0) );
EXPECT_EQ(73951ul, div64x32u(118812246428785ull, 1606630115ul, 0) );
EXPECT_EQ(77325ul, div64x32u(67065945468161ull, 867323952ul, 0) );
EXPECT_EQ(21415ul, div64x32u(40647629811994ull, 1898073189ul, 0) );
EXPECT_EQ(2490236ul, div64x32u(53899545032529ull, 21644349ul, 0) );
EXPECT_EQ(86097ul, div64x32u(61561624231091ull, 715020685ul, 0) );
EXPECT_EQ(96969ul, div64x32u(78757885922585ull, 812188926ul, 0) );
EXPECT_EQ(92523ul, div64x32u(120965471804884ull, 1307409255ul, 0) );
EXPECT_EQ(53501ul, div64x32u(57282143013567ull, 1070671636ul, 0) );
EXPECT_EQ(21375ul, div64x32u(42822702467647ull, 2003330056ul, 0) );
EXPECT_EQ(20933ul, div64x32u(39308005034833ull, 1877755845ul, 0) );
EXPECT_EQ(206204ul, div64x32u(102332538036226ull, 496266988ul, 0) );
EXPECT_EQ(2026913ul, div64x32u(125302335346793ull, 61819267ul, 0) );
EXPECT_EQ(238927ul, div64x32u(87140718706531ull, 364716259ul, 0) );
EXPECT_EQ(657847ul, div64x32u(69647686766301ull, 105872090ul, 0) );
EXPECT_EQ(37371ul, div64x32u(39368395328049ull, 1053442557ul, 0) );
EXPECT_EQ(82798ul, div64x32u(84591366649029ull, 1021650277ul, 0) );
EXPECT_EQ(45236ul, div64x32u(77174015275881ull, 1705994974ul, 0) );
EXPECT_EQ(60714ul, div64x32u(122450790737564ull, 2016815286ul, 0) );
EXPECT_EQ(60790ul, div64x32u(101157095481931ull, 1664028758ul, 0) );
EXPECT_EQ(3844ul, div64x32u(3754179181703ull, 976618836ul, 0) );
EXPECT_EQ(1158ul, div64x32u(2036106817119ull, 1757748028ul, 0) );
EXPECT_EQ(55227ul, div64x32u(92674183620106ull, 1678059069ul, 0) );
EXPECT_EQ(690804ul, div64x32u(34146798433779ull, 49430487ul, 0) );
EXPECT_EQ(56964ul, div64x32u(50130924603825ull, 880040847ul, 0) );
EXPECT_EQ(88568ul, div64x32u(25628709623576ull, 289365848ul, 0) );
EXPECT_EQ(148077ul, div64x32u(50505649162100ull, 341075778ul, 0) );
EXPECT_EQ(2342ul, div64x32u(4114861749038ull, 1756763961ul, 0) );
EXPECT_EQ(34192ul, div64x32u(48822118784998ull, 1427850524ul, 0) );
EXPECT_EQ(404286ul, div64x32u(133034319572852ull, 329059703ul, 0) );
EXPECT_EQ(67251ul, div64x32u(125977404262251ull, 1873217864ul, 0) );
EXPECT_EQ(79754ul, div64x32u(77232935758148ull, 968381954ul, 0) );
EXPECT_EQ(108212ul, div64x32u(138222676419588ull, 1277320496ul, 0) );
EXPECT_EQ(26617ul, div64x32u(27857441268445ull, 1046564061ul, 0) );
EXPECT_EQ(33069ul, div64x32u(67332696059259ull, 2036095116ul, 0) );
EXPECT_EQ(66012ul, div64x32u(33429840483815ull, 506413500ul, 0) );
EXPECT_EQ(37482ul, div64x32u(45944305316594ull, 1225737420ul, 0) );
EXPECT_EQ(50577ul, div64x32u(23816341302035ull, 470885668ul, 0) );
EXPECT_EQ(77017ul, div64x32u(113573408634398ull, 1474646849ul, 0) );
EXPECT_EQ(4915ul, div64x32u(9068322759314ull, 1844796514ul, 0) );
EXPECT_EQ(37866ul, div64x32u(68156931320760ull, 1799946921ul, 0) );
EXPECT_EQ(50924ul, div64x32u(85011448549163ull, 1669351626ul, 0) );
EXPECT_EQ(315201ul, div64x32u(106950476845548ull, 339308314ul, 0) );
EXPECT_EQ(33327ul, div64x32u(3016755918389ull, 90519580ul, 0) );
EXPECT_EQ(4556ul, div64x32u(9608420081870ull, 2108890967ul, 0) );
EXPECT_EQ(4871ul, div64x32u(9995710709971ull, 2051944202ul, 0) );
EXPECT_EQ(311020ul, div64x32u(34042635513366ull, 109454607ul, 0) );
EXPECT_EQ(15008ul, div64x32u(9698406530832ull, 646192173ul, 0) );
EXPECT_EQ(40186ul, div64x32u(11778195350711ull, 293085602ul, 0) );
EXPECT_EQ(109271ul, div64x32u(25088112073688ull, 229593326ul, 0) );
EXPECT_EQ(77439ul, div64x32u(46979981851155ull, 606668633ul, 0) );
EXPECT_EQ(457973ul, div64x32u(79879677040862ull, 174419754ul, 0) );
EXPECT_EQ(69968ul, div64x32u(89367531251151ull, 1277251382ul, 0) );
EXPECT_EQ(1516520ul, div64x32u(137761493175275ull, 90840482ul, 0) );
EXPECT_EQ(97845ul, div64x32u(57252461944473ull, 585131456ul, 0) );
EXPECT_EQ(900459ul, div64x32u(102392835175220ull, 113711726ul, 0) );
EXPECT_EQ(24255ul, div64x32u(50840288054626ull, 2095994244ul, 0) );
EXPECT_EQ(34187ul, div64x32u(48831406808224ull, 1428322828ul, 0) );
EXPECT_EQ(80050ul, div64x32u(50024090442192ull, 624903192ul, 0) );
EXPECT_EQ(8288ul, div64x32u(15019714550824ull, 1812028107ul, 0) );
EXPECT_EQ(626ul, div64x32u(813507892735ull, 1298415332ul, 0) );
EXPECT_EQ(45435ul, div64x32u(85260019922872ull, 1876516762ul, 0) );
EXPECT_EQ(50635ul, div64x32u(85274063303875ull, 1684088582ul, 0) );
EXPECT_EQ(45467ul, div64x32u(96972936844087ull, 2132816515ul, 0) );
EXPECT_EQ(6946ul, div64x32u(3862059486476ull, 555964413ul, 0) );
EXPECT_EQ(16227ul, div64x32u(26599223465378ull, 1639149148ul, 0) );
EXPECT_EQ(43296ul, div64x32u(7903777523224ull, 182549257ul, 0) );
EXPECT_EQ(92024ul, div64x32u(80768927025249ull, 877686903ul, 0) );
EXPECT_EQ(45659ul, div64x32u(92677692273562ull, 2029742435ul, 0) );
EXPECT_EQ(61560ul, div64x32u(86728279401533ull, 1408829012ul, 0) );
EXPECT_EQ(95520ul, div64x32u(84999452505602ull, 889854390ul, 0) );
EXPECT_EQ(503334ul, div64x32u(113770726828951ull, 226033823ul, 0) );
EXPECT_EQ(24323ul, div64x32u(44582355087996ull, 1832872320ul, 0) );
EXPECT_EQ(37188ul, div64x32u(79470204364768ull, 2136947722ul, 0) );
EXPECT_EQ(47283ul, div64x32u(58936332531572ull, 1246441795ul, 0) );
EXPECT_EQ(50635ul, div64x32u(55362853040217ull, 1093368251ul, 0) );
EXPECT_EQ(336703ul, div64x32u(109316813895060ull, 324668085ul, 0) );
EXPECT_EQ(33049ul, div64x32u(44650667580061ull, 1351040100ul, 0) );
EXPECT_EQ(143468ul, div64x32u(86483631811224ull, 602804808ul, 0) );
EXPECT_EQ(607157ul, div64x32u(139948157266328ull, 230497352ul, 0) );
EXPECT_EQ(625ul, div64x32u(1035655332462ull, 1654737346ul, 0) );
EXPECT_EQ(46406ul, div64x32u(51992660413891ull, 1120367541ul, 0) );
EXPECT_EQ(75666ul, div64x32u(67337147128960ull, 889923522ul, 0) );
EXPECT_EQ(35214ul, div64x32u(54762640335330ull, 1555117751ul, 0) );
EXPECT_EQ(6323ul, div64x32u(11502118723089ull, 1818845284ul, 0) );
EXPECT_EQ(74961ul, div64x32u(66851938259363ull, 891816981ul, 0) );
EXPECT_EQ(192900ul, div64x32u(128544813029404ull, 666377562ul, 0) );
EXPECT_EQ(58009ul, div64x32u(25654573077439ull, 442245850ul, 0) );
EXPECT_EQ(4450ul, div64x32u(9209129866771ull, 2069446718ul, 0) );
EXPECT_EQ(124157ul, div64x32u(128489200379797ull, 1034884850ul, 0) );
EXPECT_EQ(58723ul, div64x32u(34988305169517ull, 595818469ul, 0) );
EXPECT_EQ(67561ul, div64x32u(115351702808151ull, 1707364512ul, 0) );
EXPECT_EQ(22077ul, div64x32u(40746915135724ull, 1845656058ul, 0) );
EXPECT_EQ(34175ul, div64x32u(36053474820667ull, 1054963172ul, 0) );
EXPECT_EQ(13095ul, div64x32u(10795026549753ull, 824321069ul, 0) );
EXPECT_EQ(29007ul, div64x32u(60731943703126ull, 2093683203ul, 0) );
EXPECT_EQ(79370ul, div64x32u(128741655841165ull, 1622029489ul, 0) );
EXPECT_EQ(52577ul, div64x32u(59549939996677ull, 1132615366ul, 0) );
EXPECT_EQ(20441ul, div64x32u(38209826875775ull, 1869234159ul, 0) );
EXPECT_EQ(528620ul, div64x32u(75769602773778ull, 143334463ul, 0) );
EXPECT_EQ(13213ul, div64x32u(27148912892465ull, 2054625674ul, 0) );
EXPECT_EQ(24541ul, div64x32u(41430841052151ull, 1688164100ul, 0) );
EXPECT_EQ(524770ul, div64x32u(118826558977517ull, 226435366ul, 0) );
EXPECT_EQ(27046ul, div64x32u(20875481843692ull, 771846725ul, 0) );
EXPECT_EQ(24475ul, div64x32u(46648459229812ull, 1905940383ul, 0) );
EXPECT_EQ(91570ul, div64x32u(94945477472423ull, 1036853808ul, 0) );
EXPECT_EQ(106935ul, div64x32u(111761066378128ull, 1045127047ul, 0) );
EXPECT_EQ(337447ul, div64x32u(39235726764532ull, 116272240ul, 0) );
EXPECT_EQ(114315ul, div64x32u(51859073430691ull, 453649445ul, 0) );
EXPECT_EQ(143076ul, div64x32u(124073122933131ull, 867180505ul, 0) );
EXPECT_EQ(202452ul, div64x32u(85583397917323ull, 422732878ul, 0) );
EXPECT_EQ(35297ul, div64x32u(60985876494801ull, 1727746423ul, 0) );
EXPECT_EQ(319524ul, div64x32u(135554155746900ull, 424237773ul, 0) );
EXPECT_EQ(372286ul, div64x32u(104595440168562ull, 280954013ul, 0) );
EXPECT_EQ(170351ul, div64x32u(80072262158987ull, 470041657ul, 0) );
EXPECT_EQ(31594ul, div64x32u(9071625046497ull, 287126692ul, 0) );
EXPECT_EQ(33750ul, div64x32u(71603162062903ull, 2121540197ul, 0) );
EXPECT_EQ(39581ul, div64x32u(40029356651856ull, 1011309181ul, 0) );
EXPECT_EQ(66532ul, div64x32u(73899947402682ull, 1110730706ul, 0) );
EXPECT_EQ(71303ul, div64x32u(78024156579998ull, 1094257988ul, 0) );
EXPECT_EQ(33801ul, div64x32u(66698099980588ull, 1973238212ul, 0) );
EXPECT_EQ(472965ul, div64x32u(124460346721856ull, 263148657ul, 0) );
EXPECT_EQ(23173ul, div64x32u(39376501620978ull, 1699235314ul, 0) );
EXPECT_EQ(135631ul, div64x32u(104756095102785ull, 772356959ul, 0) );
EXPECT_EQ(44549ul, div64x32u(53344752056470ull, 1197428966ul, 0) );
EXPECT_EQ(111400ul, div64x32u(26136672681413ull, 234619198ul, 0) );
EXPECT_EQ(23706ul, div64x32u(36022366962995ull, 1519531140ul, 0) );
EXPECT_EQ(44201ul, div64x32u(76566667737259ull, 1732210090ul, 0) );
EXPECT_EQ(33842ul, div64x32u(44102708042736ull, 1303188053ul, 0) );
EXPECT_EQ(2840338ul, div64x32u(75610656276817ull, 26620293ul, 0) );
EXPECT_EQ(2347048ul, div64x32u(83380102110808ull, 35525512ul, 0) );
EXPECT_EQ(105478ul, div64x32u(91862729114753ull, 870915259ul, 0) );
EXPECT_EQ(78096ul, div64x32u(56234215308191ull, 720060616ul, 0) );
EXPECT_EQ(30804ul, div64x32u(35293089311241ull, 1145709853ul, 0) );
EXPECT_EQ(46718ul, div64x32u(46184809984775ull, 988567128ul, 0) );
EXPECT_EQ(90931ul, div64x32u(129799093045911ull, 1427443580ul, 0) );
EXPECT_EQ(10605ul, div64x32u(15702931673864ull, 1480658191ul, 0) );
EXPECT_EQ(71055ul, div64x32u(63858627602888ull, 898716579ul, 0) );
EXPECT_EQ(62000ul, div64x32u(116892043006440ull, 1885351727ul, 0) );
EXPECT_EQ(41019ul, div64x32u(55548878471824ull, 1354194147ul, 0) );
EXPECT_EQ(75142ul, div64x32u(119985953124323ull, 1596786735ul, 0) );
EXPECT_EQ(195921ul, div64x32u(115255953337954ull, 588276816ul, 0) );
EXPECT_EQ(19676ul, div64x32u(17485187074071ull, 888627432ul, 0) );
EXPECT_EQ(111937ul, div64x32u(76588223964100ull, 684203745ul, 0) );
EXPECT_EQ(71147ul, div64x32u(98291739663567ull, 1381520842ul, 0) );
EXPECT_EQ(202860ul, div64x32u(134012277163820ull, 660613388ul, 0) );
EXPECT_EQ(76692ul, div64x32u(38904605185244ull, 507280133ul, 0) );
EXPECT_EQ(182825ul, div64x32u(106400566616418ull, 581978777ul, 0) );
EXPECT_EQ(66806ul, div64x32u(100502960364327ull, 1504379587ul, 0) );
EXPECT_EQ(90042ul, div64x32u(101309959983290ull, 1125134529ul, 0) );
EXPECT_EQ(48307ul, div64x32u(69687115542171ull, 1442579441ul, 0) );
EXPECT_EQ(1656287ul, div64x32u(80582927140568ull, 48652755ul, 0) );
EXPECT_EQ(61742ul, div64x32u(105279412895765ull, 1705124896ul, 0) );
EXPECT_EQ(47902ul, div64x32u(41722866658024ull, 870991090ul, 0) );
EXPECT_EQ(39163ul, div64x32u(13611587538183ull, 347559303ul, 0) );
EXPECT_EQ(63970ul, div64x32u(103935354034288ull, 1624732081ul, 0) );
EXPECT_EQ(9959ul, div64x32u(15685789501669ull, 1575035441ul, 0) );
EXPECT_EQ(22980ul, div64x32u(30246207454493ull, 1316185741ul, 0) );
EXPECT_EQ(69027ul, div64x32u(140523776388252ull, 2035757012ul, 0) );
EXPECT_EQ(40573ul, div64x32u(81021616528445ull, 1996886689ul, 0) );
EXPECT_EQ(4295ul, div64x32u(6847557221021ull, 1594250223ul, 0) );
EXPECT_EQ(17866ul, div64x32u(28090483543244ull, 1572216319ul, 0) );
EXPECT_EQ(65648ul, div64x32u(125719607148364ull, 1915045401ul, 0) );
EXPECT_EQ(310533ul, div64x32u(101315306286902ull, 326262163ul, 0) );
EXPECT_EQ(37004ul, div64x32u(56960184377547ull, 1539264167ul, 0) );
EXPECT_EQ(6919ul, div64x32u(8969794447932ull, 1296249479ul, 0) );
EXPECT_EQ(148702ul, div64x32u(107211942936185ull, 720980501ul, 0) );
EXPECT_EQ(513724ul, div64x32u(105515235363489ull, 205392493ul, 0) );
EXPECT_EQ(62648ul, div64x32u(55826080432031ull, 891096537ul, 0) );
EXPECT_EQ(113606ul, div64x32u(63755073763210ull, 561192140ul, 0) );
EXPECT_EQ(139918ul, div64x32u(123701270958628ull, 884095363ul, 0) );
EXPECT_EQ(67016ul, div64x32u(104056243690932ull, 1552690109ul, 0) );
EXPECT_EQ(248699ul, div64x32u(125848171269435ull, 506025819ul, 0) );
EXPECT_EQ(3102278ul, div64x32u(100696649960941ull, 32458930ul, 0) );
EXPECT_EQ(90584ul, div64x32u(136632484118885ull, 1508340191ul, 0) );
EXPECT_EQ(28802ul, div64x32u(37529646604151ull, 1303002031ul, 0) );
EXPECT_EQ(10331ul, div64x32u(16416194299464ull, 1588953027ul, 0) );
EXPECT_EQ(63089ul, div64x32u(95734830466362ull, 1517451883ul, 0) );
EXPECT_EQ(67046ul, div64x32u(95455951151132ull, 1423724142ul, 0) );
EXPECT_EQ(94617ul, div64x32u(127702415342829ull, 1349676607ul, 0) );
EXPECT_EQ(17380ul, div64x32u(21420237025738ull, 1232433925ul, 0) );
EXPECT_EQ(61136ul, div64x32u(87999961768360ull, 1439394506ul, 0) );
EXPECT_EQ(90890ul, div64x32u(138337564847591ull, 1522029694ul, 0) );
EXPECT_EQ(58597ul, div64x32u(105116781840244ull, 1793883312ul, 0) );
EXPECT_EQ(14210ul, div64x32u(28922562422837ull, 2035295577ul, 0) );
EXPECT_EQ(32839ul, div64x32u(30387429993430ull, 925331166ul, 0) );
EXPECT_EQ(131744ul, div64x32u(106018967132757ull, 804729323ul, 0) );
EXPECT_EQ(83790ul, div64x32u(132440965990251ull, 1580621373ul, 0) );
EXPECT_EQ(196042ul, div64x32u(137951236075969ull, 703680609ul, 0) );
EXPECT_EQ(68211ul, div64x32u(97905126684427ull, 1435319996ul, 0) );
EXPECT_EQ(9410ul, div64x32u(9174275072601ull, 974852580ul, 0) );
EXPECT_EQ(68677ul, div64x32u(120578300188435ull, 1755718159ul, 0) );
EXPECT_EQ(13483ul, div64x32u(14394404196348ull, 1067589769ul, 0) );
EXPECT_EQ(14908ul, div64x32u(15424739629502ull, 1034629021ul, 0) );
EXPECT_EQ(57201ul, div64x32u(63965160241922ull, 1118243821ul, 0) );
EXPECT_EQ(95773ul, div64x32u(115987289418169ull, 1211063920ul, 0) );
EXPECT_EQ(100925ul, div64x32u(139449400493727ull, 1381709486ul, 0) );
EXPECT_EQ(114378ul, div64x32u(118633226001495ull, 1037202729ul, 0) );
EXPECT_EQ(66688ul, div64x32u(106637010287978ull, 1599025445ul, 0) );
EXPECT_EQ(2700ul, div64x32u(4394530841362ull, 1627547967ul, 0) );
EXPECT_EQ(8637ul, div64x32u(11605483272099ull, 1343627779ul, 0) );
EXPECT_EQ(22201ul, div64x32u(35846497460789ull, 1614626323ul, 0) );
EXPECT_EQ(113601ul, div64x32u(97994720954349ull, 862616522ul, 0) );
EXPECT_EQ(111759ul, div64x32u(83367224025831ull, 745950629ul, 0) );
EXPECT_EQ(657163ul, div64x32u(114698883524244ull, 174536242ul, 0) );
EXPECT_EQ(244924ul, div64x32u(96922341953778ull, 395722728ul, 0) );
EXPECT_EQ(57087ul, div64x32u(121311863195804ull, 2125014267ul, 0) );
EXPECT_EQ(32064ul, div64x32u(45278409615603ull, 1412117255ul, 0) );
EXPECT_EQ(34617ul, div64x32u(39081848436518ull, 1128948159ul, 0) );
EXPECT_EQ(159752ul, div64x32u(90415325805027ull, 565970466ul, 0) );
EXPECT_EQ(48061ul, div64x32u(36319945237746ull, 755705021ul, 0) );
EXPECT_EQ(69401ul, div64x32u(34254121825546ull, 493562172ul, 0) );
EXPECT_EQ(591669ul, div64x32u(131387871755015ull, 222062771ul, 0) );
EXPECT_EQ(31303ul, div64x32u(52910190381539ull, 1690245248ul, 0) );
EXPECT_EQ(4935ul, div64x32u(7624231056071ull, 1544642626ul, 0) );
EXPECT_EQ(350705ul, div64x32u(51875791652732ull, 147918337ul, 0) );
EXPECT_EQ(144726ul, div64x32u(45054265484021ull, 311306103ul, 0) );
EXPECT_EQ(83760ul, div64x32u(104243853935441ull, 1244548251ul, 0) );
EXPECT_EQ(647988ul, div64x32u(99893767665282ull, 154159719ul, 0) );
EXPECT_EQ(87316ul, div64x32u(108671293924794ull, 1244561323ul, 0) );
EXPECT_EQ(47237ul, div64x32u(18993365657362ull, 402080255ul, 0) );
EXPECT_EQ(46297ul, div64x32u(71907152578136ull, 1553159858ul, 0) );
EXPECT_EQ(11065ul, div64x32u(17361580219028ull, 1569028733ul, 0) );
EXPECT_EQ(33565ul, div64x32u(70201729943351ull, 2091454748ul, 0) );
EXPECT_EQ(65496ul, div64x32u(86163023870580ull, 1315529513ul, 0) );
EXPECT_EQ(193617ul, div64x32u(140458935610224ull, 725446086ul, 0) );
EXPECT_EQ(107981ul, div64x32u(135515039405090ull, 1254980938ul, 0) );
EXPECT_EQ(50337ul, div64x32u(46574772424338ull, 925250297ul, 0) );
EXPECT_EQ(69374ul, div64x32u(83976928321025ull, 1210478693ul, 0) );
EXPECT_EQ(34188ul, div64x32u(32259941561379ull, 943593197ul, 0) );
EXPECT_EQ(63897ul, div64x32u(117476410992898ull, 1838507087ul, 0) );
EXPECT_EQ(78864ul, div64x32u(133522895024883ull, 1693058587ul, 0) );
EXPECT_EQ(49987ul, div64x32u(31096678786682ull, 622089623ul, 0) );
EXPECT_EQ(33950ul, div64x32u(66475081864723ull, 1957981152ul, 0) );
EXPECT_EQ(35741ul, div64x32u(62771289148138ull, 1756256076ul, 0) );
EXPECT_EQ(664706ul, div64x32u(72402336972211ull, 108923715ul, 0) );
EXPECT_EQ(66907ul, div64x32u(83410117085654ull, 1246645562ul, 0) );
EXPECT_EQ(212234ul, div64x32u(54487648642105ull, 256733400ul, 0) );
EXPECT_EQ(76406ul, div64x32u(58832586046437ull, 769993731ul, 0) );
EXPECT_EQ(28250ul, div64x32u(29773394149441ull, 1053910035ul, 0) );
EXPECT_EQ(58524ul, div64x32u(55956742997971ull, 956123335ul, 0) );
EXPECT_EQ(196100ul, div64x32u(82344333957744ull, 419909016ul, 0) );
EXPECT_EQ(73099ul, div64x32u(127480590774279ull, 1743931450ul, 0) );
EXPECT_EQ(80118ul, div64x32u(108389830977089ull, 1352866107ul, 0) );
EXPECT_EQ(78298ul, div64x32u(116124841755080ull, 1483103573ul, 0) );
EXPECT_EQ(108024ul, div64x32u(123618600242994ull, 1144356299ul, 0) );
EXPECT_EQ(46929ul, div64x32u(95809124048994ull, 2041532933ul, 0) );
EXPECT_EQ(38169ul, div64x32u(71799550920695ull, 1881086448ul, 0) );
EXPECT_EQ(84988ul, div64x32u(101623541208510ull, 1195726979ul, 0) );
EXPECT_EQ(127510ul, div64x32u(140726743289762ull, 1103645841ul, 0) );
EXPECT_EQ(99012ul, div64x32u(117179690861369ull, 1183478338ul, 0) );
EXPECT_EQ(612627ul, div64x32u(131344406356197ull, 214395043ul, 0) );
EXPECT_EQ(383229ul, div64x32u(53706106015935ull, 140140947ul, 0) );
EXPECT_EQ(786045ul, div64x32u(10569949260236ull, 13446998ul, 0) );
EXPECT_EQ(111331ul, div64x32u(105051839012212ull, 943598950ul, 0) );
EXPECT_EQ(27690ul, div64x32u(55557177872048ull, 2006329585ul, 0) );
EXPECT_EQ(241933ul, div64x32u(122820096773231ull, 507661017ul, 0) );
EXPECT_EQ(62443ul, div64x32u(88210540996906ull, 1412649956ul, 0) );
EXPECT_EQ(79836ul, div64x32u(71984724795733ull, 901650040ul, 0) );
EXPECT_EQ(793347ul, div64x32u(124835338337353ull, 157352662ul, 0) );
EXPECT_EQ(24974ul, div64x32u(44638431284186ull, 1787393876ul, 0) );
EXPECT_EQ(49556ul, div64x32u(55547873282408ull, 1120892345ul, 0) );
EXPECT_EQ(27506ul, div64x32u(58817130991210ull, 2138267740ul, 0) );
EXPECT_EQ(85797ul, div64x32u(65489726152010ull, 763301671ul, 0) );
EXPECT_EQ(1713ul, div64x32u(2875360226189ull, 1677621403ul, 0) );
EXPECT_EQ(1116980ul, div64x32u(105653567513449ull, 94588571ul, 0) );
EXPECT_EQ(159640ul, div64x32u(98188437096131ull, 615059794ul, 0) );
EXPECT_EQ(25000ul, div64x32u(48933271264671ull, 1957314880ul, 0) );
EXPECT_EQ(60068ul, div64x32u(121218848291049ull, 2018003196ul, 0) );
EXPECT_EQ(69062ul, div64x32u(139453951662219ull, 2019243626ul, 0) );
EXPECT_EQ(221695ul, div64x32u(23309842009446ull, 105143487ul, 0) );
EXPECT_EQ(91420ul, div64x32u(30903369345383ull, 338035194ul, 0) );
EXPECT_EQ(159208ul, div64x32u(119439391605941ull, 750208481ul, 0) );
EXPECT_EQ(23356796ul, div64x32u(40218323976232ull, 1721911ul, 0) );
EXPECT_EQ(288054ul, div64x32u(129132650783233ull, 448292652ul, 0) );
EXPECT_EQ(55501ul, div64x32u(109071656300826ull, 1965191137ul, 0) );
EXPECT_EQ(25447ul, div64x32u(35164280669427ull, 1381846643ul, 0) );
EXPECT_EQ(107602ul, div64x32u(80257806916446ull, 745869971ul, 0) );
EXPECT_EQ(60210ul, div64x32u(104270592372192ull, 1731754126ul, 0) );
EXPECT_EQ(3779ul, div64x32u(3573666549229ull, 945584293ul, 0) );
EXPECT_EQ(17033ul, div64x32u(27824167131638ull, 1633495683ul, 0) );
EXPECT_EQ(56801ul, div64x32u(21670158684945ull, 381505834ul, 0) );
EXPECT_EQ(33706ul, div64x32u(55521207399967ull, 1647206597ul, 0) );
EXPECT_EQ(41617ul, div64x32u(57279169915507ull, 1376337870ul, 0) );
EXPECT_EQ(19233ul, div64x32u(25658744769201ull, 1334058406ul, 0) );
EXPECT_EQ(41467ul, div64x32u(46967569777711ull, 1132625297ul, 0) );
EXPECT_EQ(68231ul, div64x32u(58296817813281ull, 854397544ul, 0) );
EXPECT_EQ(54001ul, div64x32u(30761204913030ull, 569640629ul, 0) );
EXPECT_EQ(23729ul, div64x32u(47014550129747ull, 1981237919ul, 0) );
EXPECT_EQ(640615ul, div64x32u(111059319348787ull, 173363549ul, 0) );
EXPECT_EQ(1906750ul, div64x32u(84375759686978ull, 44251072ul, 0) );
EXPECT_EQ(80321ul, div64x32u(59156686460262ull, 736496048ul, 0) );
EXPECT_EQ(83359ul, div64x32u(127165623855377ull, 1525500675ul, 0) );
EXPECT_EQ(4995ul, div64x32u(6018568689645ull, 1204691830ul, 0) );
EXPECT_EQ(85192ul, div64x32u(118018470334153ull, 1385317907ul, 0) );
EXPECT_EQ(32391ul, div64x32u(45799295830305ull, 1413940877ul, 0) );
EXPECT_EQ(62898ul, div64x32u(118972296796740ull, 1891507993ul, 0) );
EXPECT_EQ(68481ul, div64x32u(107783413317250ull, 1573913260ul, 0) );
EXPECT_EQ(311465ul, div64x32u(60100100438817ull, 192959268ul, 0) );
EXPECT_EQ(26179ul, div64x32u(30313933010483ull, 1157914691ul, 0) );
EXPECT_EQ(220068ul, div64x32u(128234846366133ull, 582703617ul, 0) );
EXPECT_EQ(25276ul, div64x32u(29699805242032ull, 1175003016ul, 0) );
EXPECT_EQ(77181ul, div64x32u(75656157922121ull, 980234488ul, 0) );
EXPECT_EQ(36367ul, div64x32u(57775945968751ull, 1588663269ul, 0) );
EXPECT_EQ(21114ul, div64x32u(22450609860149ull, 1063267862ul, 0) );
EXPECT_EQ(79023ul, div64x32u(77881446377556ull, 985553253ul, 0) );
EXPECT_EQ(179558ul, div64x32u(140140937621386ull, 780473308ul, 0) );
EXPECT_EQ(77094ul, div64x32u(116329642932766ull, 1508930264ul, 0) );
EXPECT_EQ(106957ul, div64x32u(40425746413425ull, 377961877ul, 0) );
EXPECT_EQ(61078ul, div64x32u(59202528951343ull, 969278144ul, 0) );
EXPECT_EQ(1467ul, div64x32u(2667888453226ull, 1817593509ul, 0) );
EXPECT_EQ(36839ul, div64x32u(77302167659110ull, 2098353734ul, 0) );
EXPECT_EQ(61059ul, div64x32u(97055369870597ull, 1589531520ul, 0) );
EXPECT_EQ(32499ul, div64x32u(55522228990949ull, 1708404941ul, 0) );
EXPECT_EQ(14768ul, div64x32u(10471726782686ull, 709046584ul, 0) );
EXPECT_EQ(384154ul, div64x32u(64355940055022ull, 167526355ul, 0) );
EXPECT_EQ(102092ul, div64x32u(92247611172048ull, 903571646ul, 0) );
EXPECT_EQ(641986ul, div64x32u(107461921610823ull, 167389771ul, 0) );
EXPECT_EQ(57934ul, div64x32u(72147348293572ull, 1245328714ul, 0) );
EXPECT_EQ(49380ul, div64x32u(59899586822081ull, 1213012880ul, 0) );
EXPECT_EQ(62606ul, div64x32u(84874009277577ull, 1355684229ul, 0) );
EXPECT_EQ(38509ul, div64x32u(43561287498196ull, 1131170202ul, 0) );
EXPECT_EQ(239780ul, div64x32u(18655115237009ull, 77800810ul, 0) );
EXPECT_EQ(14738ul, div64x32u(19719050952817ull, 1337923374ul, 0) );
EXPECT_EQ(137064ul, div64x32u(107427672425104ull, 783773435ul, 0) );
EXPECT_EQ(159101ul, div64x32u(57424940777339ull, 360932876ul, 0) );
EXPECT_EQ(49533ul, div64x32u(47035339251527ull, 949574205ul, 0) );
EXPECT_EQ(3857ul, div64x32u(7689003426174ull, 1993097845ul, 0) );
EXPECT_EQ(18300ul, div64x32u(30465583233543ull, 1664753944ul, 0) );
EXPECT_EQ(17475ul, div64x32u(31667681460132ull, 1812142202ul, 0) );
EXPECT_EQ(6378ul, div64x32u(2286333475755ull, 358427145ul, 0) );
EXPECT_EQ(457349ul, div64x32u(73476150492919ull, 160656628ul, 0) );
EXPECT_EQ(75963ul, div64x32u(96939272586785ull, 1276130511ul, 0) );
EXPECT_EQ(30561ul, div64x32u(40825138338671ull, 1335848728ul, 0) );
EXPECT_EQ(429975ul, div64x32u(122867532511158ull, 285754998ul, 0) );
EXPECT_EQ(117555ul, div64x32u(88708986639711ull, 754611451ul, 0) );
EXPECT_EQ(1792ul, div64x32u(2101630286011ull, 1172249198ul, 0) );
EXPECT_EQ(23689ul, div64x32u(32085151085628ull, 1354392715ul, 0) );
EXPECT_EQ(21646ul, div64x32u(35047410442570ull, 1619084433ul, 0) );
EXPECT_EQ(359370ul, div64x32u(109032122313171ull, 303397831ul, 0) );
EXPECT_EQ(107913ul, div64x32u(94684409823274ull, 877408324ul, 0) );
EXPECT_EQ(71923ul, div64x32u(130850680365932ull, 1819291193ul, 0) );
EXPECT_EQ(17132ul, div64x32u(28941169420583ull, 1689277203ul, 0) );
EXPECT_EQ(44552ul, div64x32u(70095459734122ull, 1573335805ul, 0) );
EXPECT_EQ(21965ul, div64x32u(41757259087957ull, 1901022594ul, 0) );
EXPECT_EQ(70840ul, div64x32u(132918073900135ull, 1876309473ul, 0) );
EXPECT_EQ(123675ul, div64x32u(134760404044061ull, 1089626850ul, 0) );
EXPECT_EQ(50438ul, div64x32u(88562313085661ull, 1755854683ul, 0) );
EXPECT_EQ(40321ul, div64x32u(81030108291844ull, 2009610597ul, 0) );
EXPECT_EQ(105986ul, div64x32u(52450992610527ull, 494883436ul, 0) );
EXPECT_EQ(189262ul, div64x32u(47000245199748ull, 248333781ul, 0) );
EXPECT_EQ(35797ul, div64x32u(35528715600233ull, 992488618ul, 0) );
EXPECT_EQ(39792ul, div64x32u(62295880987513ull, 1565536914ul, 0) );
EXPECT_EQ(14499ul, div64x32u(6142599974740ull, 423629827ul, 0) );
EXPECT_EQ(35817ul, div64x32u(59429747298282ull, 1659242429ul, 0) );
EXPECT_EQ(42504ul, div64x32u(75553837443059ull, 1777536760ul, 0) );
EXPECT_EQ(72349ul, div64x32u(135125079628093ull, 1867672258ul, 0) );
EXPECT_EQ(22826ul, div64x32u(36078858486745ull, 1580545891ul, 0) );
EXPECT_EQ(17612ul, div64x32u(6851777923341ull, 389023137ul, 0) );
EXPECT_EQ(147516ul, div64x32u(135090066969963ull, 915762437ul, 0) );
EXPECT_EQ(924663ul, div64x32u(114113739966013ull, 123411104ul, 0) );
EXPECT_EQ(108489ul, div64x32u(121986014077719ull, 1124406382ul, 0) );
EXPECT_EQ(147712ul, div64x32u(35692198457353ull, 241633098ul, 0) );
EXPECT_EQ(328232ul, div64x32u(134196481045363ull, 408846332ul, 0) );
EXPECT_EQ(62665ul, div64x32u(112163205114903ull, 1789858288ul, 0) );
EXPECT_EQ(168ul, div64x32u(227725377425ull, 1348738051ul, 0) );
EXPECT_EQ(34750ul, div64x32u(58735154321620ull, 1690197760ul, 0) );
EXPECT_EQ(242127ul, div64x32u(71237048349761ull, 294212708ul, 0) );
EXPECT_EQ(29369ul, div64x32u(36028135001263ull, 1226729458ul, 0) );
EXPECT_EQ(13814ul, div64x32u(25457467812135ull, 1842821393ul, 0) );
EXPECT_EQ(24499ul, div64x32u(27059782702055ull, 1104499604ul, 0) );
EXPECT_EQ(53995ul, div64x32u(105627495836866ull, 1956214870ul, 0) );
EXPECT_EQ(142228ul, div64x32u(112357935168006ull, 789983238ul, 0) );
EXPECT_EQ(26577ul, div64x32u(18163426289373ull, 683419879ul, 0) );
EXPECT_EQ(117812ul, div64x32u(126363690412351ull, 1072584864ul, 0) );
EXPECT_EQ(4612ul, div64x32u(9751324602113ull, 2114282225ul, 0) );
EXPECT_EQ(18108ul, div64x32u(38577540979020ull, 2130335378ul, 0) );
EXPECT_EQ(19016ul, div64x32u(8148338023134ull, 428482255ul, 0) );
EXPECT_EQ(158199ul, div64x32u(75335743780997ull, 476207371ul, 0) );
EXPECT_EQ(61581ul, div64x32u(105472397232329ull, 1712720141ul, 0) );
EXPECT_EQ(45023ul, div64x32u(52648897641781ull, 1169361441ul, 0) );
EXPECT_EQ(135577ul, div64x32u(98574873547965ull, 727074524ul, 0) );
EXPECT_EQ(17236ul, div64x32u(10789296943753ull, 625940433ul, 0) );
EXPECT_EQ(76076ul, div64x32u(100898801519239ull, 1326273324ul, 0) );
EXPECT_EQ(51183ul, div64x32u(108645532920714ull, 2122667214ul, 0) );
EXPECT_EQ(100131ul, div64x32u(123635309286908ull, 1234729984ul, 0) );
EXPECT_EQ(63744ul, div64x32u(26287072157686ull, 412379905ul, 0) );
EXPECT_EQ(62222ul, div64x32u(53803986860658ull, 864708791ul, 0) );
EXPECT_EQ(68649ul, div64x32u(30112979952129ull, 438651361ul, 0) );
EXPECT_EQ(132133ul, div64x32u(124534294006992ull, 942490978ul, 0) );
EXPECT_EQ(2580ul, div64x32u(4503085869378ull, 1744852232ul, 0) );
EXPECT_EQ(18967ul, div64x32u(18189707794415ull, 958989415ul, 0) );
EXPECT_EQ(41623ul, div64x32u(64970092342864ull, 1560898489ul, 0) );
EXPECT_EQ(150890ul, div64x32u(64854670838052ull, 429813488ul, 0) );
EXPECT_EQ(122896ul, div64x32u(46965674103780ull, 382156846ul, 0) );
EXPECT_EQ(349770ul, div64x32u(67100505887535ull, 191841794ul, 0) );
EXPECT_EQ(39524ul, div64x32u(69627694771581ull, 1761619434ul, 0) );
EXPECT_EQ(52671ul, div64x32u(91573213540317ull, 1738559793ul, 0) );
EXPECT_EQ(74620ul, div64x32u(45335411435723ull, 607543391ul, 0) );
EXPECT_EQ(107325ul, div64x32u(62840280915228ull, 585512264ul, 0) );
EXPECT_EQ(1227684ul, div64x32u(123841610401400ull, 100874152ul, 0) );
EXPECT_EQ(26976ul, div64x32u(44290541383773ull, 1641815134ul, 0) );
EXPECT_EQ(112523ul, div64x32u(105073651972107ull, 933789485ul, 0) );
EXPECT_EQ(48920ul, div64x32u(23408893653876ull, 478505518ul, 0) );
EXPECT_EQ(47295ul, div64x32u(100211756315629ull, 2118863460ul, 0) );
EXPECT_EQ(88758ul, div64x32u(81821158867019ull, 921844402ul, 0) );
EXPECT_EQ(2914777ul, div64x32u(84281440939482ull, 28915219ul, 0) );
EXPECT_EQ(380713ul, div64x32u(34008841784628ull, 89329227ul, 0) );
EXPECT_EQ(8278ul, div64x32u(4673339208020ull, 564490422ul, 0) );
EXPECT_EQ(1583ul, div64x32u(2861665182099ull, 1807293951ul, 0) );
EXPECT_EQ(879022ul, div64x32u(99278392028349ull, 112941820ul, 0) );
EXPECT_EQ(124608ul, div64x32u(130238223223608ull, 1045179281ul, 0) );
EXPECT_EQ(16969ul, div64x32u(19363363905355ull, 1141070204ul, 0) );
EXPECT_EQ(99666ul, div64x32u(115024021501609ull, 1154092162ul, 0) );
EXPECT_EQ(100742ul, div64x32u(118993855209724ull, 1181164293ul, 0) );
EXPECT_EQ(56041ul, div64x32u(86986740420897ull, 1552186429ul, 0) );
EXPECT_EQ(74220ul, div64x32u(93804192428838ull, 1263862593ul, 0) );
EXPECT_EQ(113248ul, div64x32u(103054164125972ull, 909983993ul, 0) );
EXPECT_EQ(39510ul, div64x32u(77448048345436ull, 1960198016ul, 0) );
EXPECT_EQ(147283ul, div64x32u(102654601996920ull, 696987666ul, 0) );
EXPECT_EQ(231941ul, div64x32u(126819627386308ull, 546773985ul, 0) );
EXPECT_EQ(34437ul, div64x32u(17160244635176ull, 498299379ul, 0) );
EXPECT_EQ(35581ul, div64x32u(33841227723022ull, 951089466ul, 0) );
EXPECT_EQ(90468ul, div64x32u(60821066637329ull, 672291522ul, 0) );
EXPECT_EQ(54975ul, div64x32u(22295562311078ull, 405551211ul, 0) );
EXPECT_EQ(90906ul, div64x32u(113750058169875ull, 1251284072ul, 0) );
EXPECT_EQ(207642ul, div64x32u(120663677892323ull, 581111294ul, 0) );
EXPECT_EQ(44033ul, div64x32u(47873147609523ull, 1087209390ul, 0) );
EXPECT_EQ(156344ul, div64x32u(98141197914172ull, 627722567ul, 0) );
EXPECT_EQ(25000ul, div64x32u(10322947961116ull, 412904842ul, 0) );
EXPECT_EQ(65931ul, div64x32u(90808835980739ull, 1377326171ul, 0) );
EXPECT_EQ(43508ul, div64x32u(90221970745335ull, 2073652944ul, 0) );
EXPECT_EQ(3098ul, div64x32u(5690877441663ull, 1836543641ul, 0) );
EXPECT_EQ(145051ul, div64x32u(79273824769832ull, 546523100ul, 0) );
EXPECT_EQ(16313ul, div64x32u(33700416737886ull, 2065852835ul, 0) );
EXPECT_EQ(57255ul, div64x32u(100739524866671ull, 1759471350ul, 0) );
EXPECT_EQ(74367ul, div64x32u(16634473246918ull, 223678695ul, 0) );
EXPECT_EQ(47409ul, div64x32u(53568922455422ull, 1129930626ul, 0) );
EXPECT_EQ(91636ul, div64x32u(101039475659297ull, 1102605877ul, 0) );
EXPECT_EQ(208279ul, div64x32u(109105624073737ull, 523841842ul, 0) );
EXPECT_EQ(30285ul, div64x32u(19930102326739ull, 658072055ul, 0) );
EXPECT_EQ(64906ul, div64x32u(20874362504909ull, 321608152ul, 0) );
EXPECT_EQ(214800ul, div64x32u(108634422673261ull, 505746429ul, 0) );
EXPECT_EQ(40420ul, div64x32u(76850108256179ull, 1901275535ul, 0) );
EXPECT_EQ(459377ul, div64x32u(85806431365421ull, 186788348ul, 0) );
EXPECT_EQ(28671ul, div64x32u(45760314628460ull, 1596021831ul, 0) );
EXPECT_EQ(87103ul, div64x32u(91682439376644ull, 1052574522ul, 0) );
EXPECT_EQ(70192ul, div64x32u(75467541319488ull, 1075144966ul, 0) );
EXPECT_EQ(204911ul, div64x32u(50372821914803ull, 245826803ul, 0) );
EXPECT_EQ(46062ul, div64x32u(78023686031331ull, 1693849173ul, 0) );
EXPECT_EQ(13561ul, div64x32u(6103357407941ull, 450058624ul, 0) );
EXPECT_EQ(588747ul, div64x32u(128408763526795ull, 218105009ul, 0) );
EXPECT_EQ(4349ul, div64x32u(7593967772014ull, 1745974344ul, 0) );
EXPECT_EQ(25164ul, div64x32u(46042787495848ull, 1829655292ul, 0) );
EXPECT_EQ(104914ul, div64x32u(75524095550873ull, 719865598ul, 0) );
EXPECT_EQ(89181ul, div64x32u(73075435317467ull, 819402303ul, 0) );
EXPECT_EQ(12045ul, div64x32u(6602272478120ull, 548104382ul, 0) );
EXPECT_EQ(73414ul, div64x32u(104324835512875ull, 1421043005ul, 0) );
EXPECT_EQ(57117ul, div64x32u(117048190991534ull, 2049248770ul, 0) );
EXPECT_EQ(6780ul, div64x32u(10295832045192ull, 1518338472ul, 0) );
EXPECT_EQ(71630ul, div64x32u(137410733428283ull, 1918314638ul, 0) );
EXPECT_EQ(71618ul, div64x32u(89666090789909ull, 1252000758ul, 0) );
EXPECT_EQ(582444ul, div64x32u(49370841940452ull, 84764859ul, 0) );
EXPECT_EQ(8759ul, div64x32u(8547430461660ull, 975842339ul, 0) );
EXPECT_EQ(10902ul, div64x32u(6654809743661ull, 610416078ul, 0) );
EXPECT_EQ(113753ul, div64x32u(125491931860685ull, 1103194353ul, 0) );
EXPECT_EQ(133449ul, div64x32u(56918211509126ull, 426514751ul, 0) );
EXPECT_EQ(25141ul, div64x32u(52593387659837ull, 2091915351ul, 0) );
EXPECT_EQ(53123ul, div64x32u(53121418471290ull, 999954709ul, 0) );
EXPECT_EQ(13535ul, div64x32u(21398159298621ull, 1580877630ul, 0) );
EXPECT_EQ(109887ul, div64x32u(80341717632315ull, 731129805ul, 0) );
EXPECT_EQ(14380ul, div64x32u(29734868055689ull, 2067667918ul, 0) );
EXPECT_EQ(153896ul, div64x32u(45488774318129ull, 295580766ul, 0) );
EXPECT_EQ(68546ul, div64x32u(111154713814229ull, 1621585092ul, 0) );
EXPECT_EQ(44017ul, div64x32u(62612770201149ull, 1422463829ul, 0) );
EXPECT_EQ(35149ul, div64x32u(39630959894466ull, 1127489968ul, 0) );
EXPECT_EQ(40399ul, div64x32u(26746328805060ull, 662045227ul, 0) );
EXPECT_EQ(35806ul, div64x32u(50243803297742ull, 1403200275ul, 0) );
EXPECT_EQ(31118ul, div64x32u(57939813871817ull, 1861908535ul, 0) );
EXPECT_EQ(77400ul, div64x32u(117237202633452ull, 1514679982ul, 0) );
EXPECT_EQ(27509ul, div64x32u(32951810215578ull, 1197827308ul, 0) );
EXPECT_EQ(21416ul, div64x32u(45828216985009ull, 2139890557ul, 0) );
EXPECT_EQ(2972681ul, div64x32u(84831891162839ull, 28537161ul, 0) );
EXPECT_EQ(46357ul, div64x32u(76949621850421ull, 1659902524ul, 0) );
EXPECT_EQ(40964ul, div64x32u(50845928195559ull, 1241213600ul, 0) );
EXPECT_EQ(31413ul, div64x32u(55087319756056ull, 1753625190ul, 0) );
EXPECT_EQ(49709ul, div64x32u(97006919180300ull, 1951479580ul, 0) );
EXPECT_EQ(1379497ul, div64x32u(115737924153684ull, 83898629ul, 0) );
EXPECT_EQ(195287ul, div64x32u(60397476918205ull, 309274810ul, 0) );
EXPECT_EQ(11417ul, div64x32u(17383639165365ull, 1522480601ul, 0) );
EXPECT_EQ(97815ul, div64x32u(94292281138414ull, 963985793ul, 0) );
EXPECT_EQ(65246ul, div64x32u(68484722945332ull, 1049638041ul, 0) );
EXPECT_EQ(211661ul, div64x32u(78749306541412ull, 372053062ul, 0) );
EXPECT_EQ(27674ul, div64x32u(33871488707985ull, 1223908188ul, 0) );
EXPECT_EQ(25000ul, div64x32u(43509157540695ull, 1740336967ul, 0) );
EXPECT_EQ(3396632ul, div64x32u(64426164443090ull, 18967658ul, 0) );
EXPECT_EQ(836789ul, div64x32u(51575619813096ull, 61635150ul, 0) );
EXPECT_EQ(2091747ul, div64x32u(41691443981463ull, 19931398ul, 0) );
EXPECT_EQ(27661ul, div64x32u(53683483385901ull, 1940748360ul, 0) );
EXPECT_EQ(52753ul, div64x32u(55762784780132ull, 1057045495ul, 0) );
EXPECT_EQ(45935ul, div64x32u(71296786973425ull, 1552120952ul, 0) );
EXPECT_EQ(3534ul, div64x32u(7344981814865ull, 2078037456ul, 0) );
EXPECT_EQ(25080ul, div64x32u(53418325707345ull, 2129866148ul, 0) );
EXPECT_EQ(95125ul, div64x32u(122765007749053ull, 1290564168ul, 0) );
EXPECT_EQ(169038ul, div64x32u(64476841188824ull, 381433330ul, 0) );
EXPECT_EQ(37246ul, div64x32u(45591186848243ull, 1224041769ul, 0) );
EXPECT_EQ(62528ul, div64x32u(118339898051286ull, 1892568141ul, 0) );
EXPECT_EQ(11674ul, div64x32u(11744119884014ull, 1005930139ul, 0) );
EXPECT_EQ(308559ul, div64x32u(131530846926840ull, 426273936ul, 0) );
EXPECT_EQ(50647ul, div64x32u(81230982246550ull, 1603862990ul, 0) );
EXPECT_EQ(105149ul, div64x32u(133669555555956ull, 1271227845ul, 0) );
EXPECT_EQ(349048ul, div64x32u(91643011542574ull, 262551133ul, 0) );
EXPECT_EQ(174038ul, div64x32u(118134530184003ull, 678785588ul, 0) );
EXPECT_EQ(5801ul, div64x32u(8153701947847ull, 1405551577ul, 0) );
EXPECT_EQ(41103ul, div64x32u(80423301415996ull, 1956586276ul, 0) );
EXPECT_EQ(38145ul, div64x32u(74484328063228ull, 1952659548ul, 0) );
EXPECT_EQ(71415ul, div64x32u(23650058467350ull, 331160175ul, 0) );
EXPECT_EQ(113649ul, div64x32u(103708148442689ull, 912526873ul, 0) );
EXPECT_EQ(33132ul, div64x32u(52568035773838ull, 1586587230ul, 0) );
EXPECT_EQ(51650ul, div64x32u(78062111898756ull, 1511356732ul, 0) );
EXPECT_EQ(104329ul, div64x32u(107431040529743ull, 1029728359ul, 0) );
EXPECT_EQ(200720ul, div64x32u(119577620344056ull, 595742370ul, 0) );
EXPECT_EQ(19934ul, div64x32u(26998683149130ull, 1354370499ul, 0) );
EXPECT_EQ(245075ul, div64x32u(94650339689792ull, 386209064ul, 0) );
EXPECT_EQ(36851ul, div64x32u(46576655075229ull, 1263884537ul, 0) );
EXPECT_EQ(39375ul, div64x32u(44174694835800ull, 1121873573ul, 0) );
EXPECT_EQ(43847ul, div64x32u(41786392601668ull, 952982984ul, 0) );
EXPECT_EQ(25767ul, div64x32u(51454726373601ull, 1996882636ul, 0) );
EXPECT_EQ(214724ul, div64x32u(87309979171864ull, 406613280ul, 0) );
EXPECT_EQ(107717ul, div64x32u(113233010829772ull, 1051198851ul, 0) );
EXPECT_EQ(95344ul, div64x32u(100859470938362ull, 1057838342ul, 0) );
EXPECT_EQ(29606ul, div64x32u(45123637152366ull, 1524114304ul, 0) );
EXPECT_EQ(27033ul, div64x32u(25156165198355ull, 930568342ul, 0) );
EXPECT_EQ(55340ul, div64x32u(108195448828290ull, 1955078942ul, 0) );
EXPECT_EQ(147298ul, div64x32u(38298944043146ull, 260009602ul, 0) );
EXPECT_EQ(95408ul, div64x32u(121316185867947ull, 1271540934ul, 0) );
EXPECT_EQ(150510ul, div64x32u(82012625051695ull, 544897210ul, 0) );
EXPECT_EQ(13398ul, div64x32u(22673432914030ull, 1692288368ul, 0) );
EXPECT_EQ(327515ul, div64x32u(67914139769567ull, 207361580ul, 0) );
EXPECT_EQ(39010ul, div64x32u(25935147048125ull, 664821496ul, 0) );
EXPECT_EQ(54573ul, div64x32u(78170251608241ull, 1432385459ul, 0) );
EXPECT_EQ(41895ul, div64x32u(25507984262797ull, 608849248ul, 0) );
EXPECT_EQ(89041ul, div64x32u(140093307438124ull, 1573344171ul, 0) );
EXPECT_EQ(105548ul, div64x32u(128751843366668ull, 1219837243ul, 0) );
EXPECT_EQ(296247ul, div64x32u(123017329592597ull, 415252435ul, 0) );
EXPECT_EQ(79884ul, div64x32u(111816587706221ull, 1399736017ul, 0) );
EXPECT_EQ(312728ul, div64x32u(98343731922332ull, 314470232ul, 0) );
EXPECT_EQ(4044ul, div64x32u(5318683725930ull, 1314994872ul, 0) );
EXPECT_EQ(591151ul, div64x32u(66912244543716ull, 113189695ul, 0) );
EXPECT_EQ(27418ul, div64x32u(44592402597611ull, 1626347516ul, 0) );
EXPECT_EQ(20061ul, div64x32u(24005576191816ull, 1196627337ul, 0) );
EXPECT_EQ(56435ul, div64x32u(100001838485875ull, 1771966732ul, 0) );
EXPECT_EQ(148939ul, div64x32u(93454402063300ull, 627465165ul, 0) );
EXPECT_EQ(275383ul, div64x32u(119031055216701ull, 432237569ul, 0) );
EXPECT_EQ(1271586ul, div64x32u(87687660662634ull, 68959249ul, 0) );
EXPECT_EQ(432ul, div64x32u(594009063989ull, 1374106622ul, 0) );
EXPECT_EQ(108530ul, div64x32u(116927093226191ull, 1077364526ul, 0) );
EXPECT_EQ(90695ul, div64x32u(115122739112753ull, 1269329082ul, 0) );
EXPECT_EQ(111645ul, div64x32u(140308573092561ull, 1256738310ul, 0) );
EXPECT_EQ(11789ul, div64x32u(13921341215761ull, 1180833393ul, 0) );
EXPECT_EQ(140879ul, div64x32u(82688216037671ull, 586941262ul, 0) );
EXPECT_EQ(31672ul, div64x32u(66920341988276ull, 2112888784ul, 0) );
EXPECT_EQ(645704ul, div64x32u(51008034075286ull, 78995907ul, 0) );
EXPECT_EQ(128071ul, div64x32u(135897341429730ull, 1061106841ul, 0) );
EXPECT_EQ(770323ul, div64x32u(101791135127495ull, 132140793ul, 0) );
EXPECT_EQ(966168ul, div64x32u(73290280339351ull, 75856657ul, 0) );
EXPECT_EQ(34473ul, div64x32u(39836324100878ull, 1155562798ul, 0) );
EXPECT_EQ(10688ul, div64x32u(9213101110365ull, 861935475ul, 0) );
EXPECT_EQ(97233ul, div64x32u(125211727264925ull, 1287738048ul, 0) );
EXPECT_EQ(55075ul, div64x32u(104565955720846ull, 1898578945ul, 0) );
EXPECT_EQ(116012ul, div64x32u(42060928989184ull, 362556475ul, 0) );
EXPECT_EQ(36960ul, div64x32u(13787886809272ull, 373048688ul, 0) );
EXPECT_EQ(52107ul, div64x32u(59250075908310ull, 1137063452ul, 0) );
EXPECT_EQ(192728ul, div64x32u(126105192505467ull, 654315184ul, 0) );
EXPECT_EQ(23591ul, div64x32u(25984718217753ull, 1101426098ul, 0) );
EXPECT_EQ(24232ul, div64x32u(46344373798800ull, 1912493169ul, 0) );
EXPECT_EQ(31956ul, div64x32u(27437766036090ull, 858596561ul, 0) );
EXPECT_EQ(252154ul, div64x32u(85822459221482ull, 340357069ul, 0) );
EXPECT_EQ(14843ul, div64x32u(19727882807710ull, 1329084975ul, 0) );
EXPECT_EQ(67621ul, div64x32u(74819979646470ull, 1106448633ul, 0) );
EXPECT_EQ(89284ul, div64x32u(132428345138489ull, 1483221142ul, 0) );
EXPECT_EQ(59773ul, div64x32u(86686494052061ull, 1450259961ul, 0) );
EXPECT_EQ(147819ul, div64x32u(79942926146145ull, 540813672ul, 0) );
EXPECT_EQ(4867ul, div64x32u(9239776279337ull, 1898147486ul, 0) );
EXPECT_EQ(3136725ul, div64x32u(126934440418949ull, 40467188ul, 0) );
EXPECT_EQ(7598ul, div64x32u(9725472484299ull, 1279999582ul, 0) );
EXPECT_EQ(46376ul, div64x32u(83847052686582ull, 1807972787ul, 0) );
EXPECT_EQ(34379ul, div64x32u(19174251707289ull, 557725122ul, 0) );
EXPECT_EQ(92365ul, div64x32u(35993861847266ull, 389690221ul, 0) );
EXPECT_EQ(22724ul, div64x32u(34541915944164ull, 1520056448ul, 0) );
EXPECT_EQ(1777070ul, div64x32u(140510528155944ull, 79068616ul, 0) );
EXPECT_EQ(212650ul, div64x32u(106070563781994ull, 498803329ul, 0) );
EXPECT_EQ(68532ul, div64x32u(28540084898427ull, 416445919ul, 0) );
EXPECT_EQ(32565ul, div64x32u(56175510379416ull, 1725001044ul, 0) );
EXPECT_EQ(168134ul, div64x32u(95337459817896ull, 567030981ul, 0) );
EXPECT_EQ(115724ul, div64x32u(60653571276871ull, 524118251ul, 0) );
EXPECT_EQ(8428ul, div64x32u(17695389723383ull, 2099512616ul, 0) );
EXPECT_EQ(6441ul, div64x32u(8225184301656ull, 1276992913ul, 0) );
EXPECT_EQ(110762ul, div64x32u(49680555135237ull, 448532592ul, 0) );
EXPECT_EQ(18583ul, div64x32u(20957090641369ull, 1127699060ul, 0) );
EXPECT_EQ(55768ul, div64x32u(102432359715979ull, 1836736011ul, 0) );
EXPECT_EQ(57872ul, div64x32u(76340557991580ull, 1319111492ul, 0) );
EXPECT_EQ(66615ul, div64x32u(87965431324642ull, 1320496578ul, 0) );
EXPECT_EQ(56621ul, div64x32u(87218775023208ull, 1540384937ul, 0) );
EXPECT_EQ(71741ul, div64x32u(78241530446929ull, 1090600531ul, 0) );
EXPECT_EQ(101443ul, div64x32u(137857277954343ull, 1358955175ul, 0) );
EXPECT_EQ(12493ul, div64x32u(8394046000227ull, 671876002ul, 0) );
EXPECT_EQ(25773ul, div64x32u(53636880616896ull, 2081055014ul, 0) );
EXPECT_EQ(96753ul, div64x32u(114682030482904ull, 1185299511ul, 0) );
EXPECT_EQ(63813ul, div64x32u(85793117311111ull, 1344435764ul, 0) );
EXPECT_EQ(33897ul, div64x32u(64382651409130ull, 1899318254ul, 0) );
EXPECT_EQ(62945ul, div64x32u(105733848448087ull, 1679769286ul, 0) );
EXPECT_EQ(146978ul, div64x32u(123615237594621ull, 841044478ul, 0) );
EXPECT_EQ(51843ul, div64x32u(91491495780832ull, 1764753910ul, 0) );
EXPECT_EQ(72552ul, div64x32u(135065468303361ull, 1861626561ul, 0) );
EXPECT_EQ(29563ul, div64x32u(24885609760942ull, 841767961ul, 0) );
EXPECT_EQ(52703ul, div64x32u(56866779121915ull, 1078985189ul, 0) );
EXPECT_EQ(38797ul, div64x32u(71525423217643ull, 1843554848ul, 0) );
EXPECT_EQ(10735ul, div64x32u(20865047214999ull, 1943558128ul, 0) );
EXPECT_EQ(295ul, div64x32u(610750500086ull, 2064798492ul, 0) );
EXPECT_EQ(37417ul, div64x32u(64523993907134ull, 1724413502ul, 0) );
EXPECT_EQ(69345ul, div64x32u(87235963854906ull, 1257990370ul, 0) );
EXPECT_EQ(68979ul, div64x32u(112103696373104ull, 1625181911ul, 0) );
EXPECT_EQ(36481ul, div64x32u(29138293386484ull, 798717477ul, 0) );
EXPECT_EQ(134883ul, div64x32u(78419370391678ull, 581386715ul, 0) );
EXPECT_EQ(84617ul, div64x32u(98063228876480ull, 1158897529ul, 0) );
EXPECT_EQ(50056ul, div64x32u(60027905720024ull, 1199196244ul, 0) );
EXPECT_EQ(7207ul, div64x32u(13767420346407ull, 1910132253ul, 0) );
EXPECT_EQ(4002ul, div64x32u(3940036581001ull, 984360107ul, 0) );
EXPECT_EQ(69916ul, div64x32u(93352257263502ull, 1335197317ul, 0) );
EXPECT_EQ(84273ul, div64x32u(46287653768600ull, 549258002ul, 0) );
EXPECT_EQ(74742ul, div64x32u(78791209286697ull, 1054167539ul, 0) );
EXPECT_EQ(591539ul, div64x32u(84763206958433ull, 143292579ul, 0) );
EXPECT_EQ(262196ul, div64x32u(8956360015584ull, 34159008ul, 0) );
EXPECT_EQ(21834ul, div64x32u(28502843597868ull, 1305419272ul, 0) );
EXPECT_EQ(422495ul, div64x32u(116245045723988ull, 275139406ul, 0) );
EXPECT_EQ(182452ul, div64x32u(90243287120648ull, 494611168ul, 0) );
EXPECT_EQ(16623ul, div64x32u(31118558637913ull, 1871977006ul, 0) );
EXPECT_EQ(6748ul, div64x32u(9693909777203ull, 1436551490ul, 0) );
EXPECT_EQ(31044ul, div64x32u(47589506382758ull, 1532959874ul, 0) );
EXPECT_EQ(88016ul, div64x32u(127094376783256ull, 1443980555ul, 0) );
EXPECT_EQ(77501ul, div64x32u(130993002907275ull, 1690191215ul, 0) );
EXPECT_EQ(261206ul, div64x32u(87069625432104ull, 333336799ul, 0) );
EXPECT_EQ(432614ul, div64x32u(101112743678439ull, 233724871ul, 0) );
EXPECT_EQ(43792ul, div64x32u(36237568788504ull, 827476734ul, 0) );
EXPECT_EQ(102024ul, div64x32u(136000210552764ull, 1333021148ul, 0) );
EXPECT_EQ(70186ul, div64x32u(90855922599248ull, 1294485084ul, 0) );
EXPECT_EQ(28063ul, div64x32u(53795035942154ull, 1916893094ul, 0) );
EXPECT_EQ(16754ul, div64x32u(35704264940171ull, 2131062950ul, 0) );
EXPECT_EQ(17978ul, div64x32u(25732076085477ull, 1431242673ul, 0) );
EXPECT_EQ(65760ul, div64x32u(102058098515700ull, 1551977489ul, 0) );
EXPECT_EQ(272414ul, div64x32u(116193267242450ull, 426530996ul, 0) );
EXPECT_EQ(138845ul, div64x32u(133427744293195ull, 960982057ul, 0) );
EXPECT_EQ(45203ul, div64x32u(69832236412411ull, 1544833223ul, 0) );
EXPECT_EQ(60463ul, div64x32u(111618328758738ull, 1846036218ul, 0) );
EXPECT_EQ(19504ul, div64x32u(16535667037879ull, 847787140ul, 0) );
EXPECT_EQ(256348ul, div64x32u(126389274427286ull, 493037641ul, 0) );
EXPECT_EQ(514834ul, div64x32u(73329505435251ull, 142433189ul, 0) );
EXPECT_EQ(53296ul, div64x32u(109897366513358ull, 2061990585ul, 0) );
EXPECT_EQ(46203ul, div64x32u(88456563660809ull, 1914504663ul, 0) );
EXPECT_EQ(69506ul, div64x32u(102475418437990ull, 1474321161ul, 0) );
EXPECT_EQ(10419ul, div64x32u(20840768823553ull, 2000111063ul, 0) );
EXPECT_EQ(65982ul, div64x32u(135657052772334ull, 2055951321ul, 0) );
EXPECT_EQ(40281ul, div64x32u(74179501309012ull, 1841520151ul, 0) );
EXPECT_EQ(16652ul, div64x32u(24546301460615ull, 1474053264ul, 0) );
EXPECT_EQ(135366ul, div64x32u(118498688842145ull, 875389311ul, 0) );
EXPECT_EQ(12004ul, div64x32u(25190494972550ull, 2098422870ul, 0) );
EXPECT_EQ(38917ul, div64x32u(10459707670787ull, 268764164ul, 0) );
EXPECT_EQ(3946ul, div64x32u(1960003840228ull, 496638539ul, 0) );
EXPECT_EQ(151792ul, div64x32u(132470423119322ull, 872708650ul, 0) );
EXPECT_EQ(135771ul, div64x32u(79823966780080ull, 587929178ul, 0) );
EXPECT_EQ(245390ul, div64x32u(35107986417481ull, 143070126ul, 0) );
EXPECT_EQ(270528ul, div64x32u(110476282259490ull, 408371799ul, 0) );
EXPECT_EQ(74139ul, div64x32u(104367851598655ull, 1407728870ul, 0) );
EXPECT_EQ(218282ul, div64x32u(140455036666880ull, 643455306ul, 0) );
EXPECT_EQ(66821ul, div64x32u(103595630995773ull, 1550324644ul, 0) );
EXPECT_EQ(57178ul, div64x32u(99179603190897ull, 1734558494ul, 0) );
EXPECT_EQ(151869ul, div64x32u(90512623021112ull, 595988371ul, 0) );
EXPECT_EQ(66805ul, div64x32u(117099388474231ull, 1752845570ul, 0) );
EXPECT_EQ(54681ul, div64x32u(112765049593670ull, 2062234475ul, 0) );
EXPECT_EQ(314192ul, div64x32u(97148797916832ull, 309201728ul, 0) );
EXPECT_EQ(9639ul, div64x32u(20273552965376ull, 2103124855ul, 0) );
EXPECT_EQ(25676ul, div64x32u(24946978000566ull, 971583326ul, 0) );
EXPECT_EQ(6739ul, div64x32u(13830942783927ull, 2052204339ul, 0) );
EXPECT_EQ(568610ul, div64x32u(125225649005424ull, 220231094ul, 0) );
EXPECT_EQ(163865ul, div64x32u(135198042751727ull, 825054998ul, 0) );
EXPECT_EQ(31468ul, div64x32u(41635935700084ull, 1323110394ul, 0) );
EXPECT_EQ(79930ul, div64x32u(130142290277052ull, 1628198086ul, 0) );
EXPECT_EQ(203498ul, div64x32u(88516720283691ull, 434974259ul, 0) );
EXPECT_EQ(6795ul, div64x32u(7848701992954ull, 1154956097ul, 0) );
EXPECT_EQ(125565ul, div64x32u(44733559880243ull, 356257340ul, 0) );
EXPECT_EQ(261048ul, div64x32u(136048064224373ull, 521160130ul, 0) );
EXPECT_EQ(15748ul, div64x32u(25406510016118ull, 1613257164ul, 0) );
EXPECT_EQ(469914ul, div64x32u(120577067981944ull, 256593773ul, 0) );
EXPECT_EQ(80335ul, div64x32u(129116988255024ull, 1607214480ul, 0) );
EXPECT_EQ(18449ul, div64x32u(8523013566305ull, 461968136ul, 0) );
EXPECT_EQ(29957ul, div64x32u(36860590709604ull, 1230448602ul, 0) );
EXPECT_EQ(74769ul, div64x32u(62502373758248ull, 835930439ul, 0) );
EXPECT_EQ(34133ul, div64x32u(15265810885785ull, 447237107ul, 0) );
EXPECT_EQ(253ul, div64x32u(521553739007ull, 2058698101ul, 0) );
EXPECT_EQ(45981ul, div64x32u(93944854695373ull, 2043096860ul, 0) );
EXPECT_EQ(161259ul, div64x32u(139591124329330ull, 865631110ul, 0) );
EXPECT_EQ(54742ul, div64x32u(114762248776451ull, 2096391859ul, 0) );
EXPECT_EQ(248925212ul, div64x32u(133045796481713ull, 534481ul, 0) );
EXPECT_EQ(65663ul, div64x32u(132611470667742ull, 2019572513ul, 0) );
EXPECT_EQ(30054ul, div64x32u(33983163413995ull, 1130704897ul, 0) );
EXPECT_EQ(29256ul, div64x32u(52923065398555ull, 1808947574ul, 0) );
EXPECT_EQ(67070ul, div64x32u(54672647657697ull, 815146502ul, 0) );
EXPECT_EQ(46966ul, div64x32u(70708389097458ull, 1505521126ul, 0) );
EXPECT_EQ(24406ul, div64x32u(40816152502044ull, 1672349955ul, 0) );
EXPECT_EQ(2051259ul, div64x32u(88886146320285ull, 43332475ul, 0) );
EXPECT_EQ(109233ul, div64x32u(47078293854824ull, 430986643ul, 0) );
EXPECT_EQ(374672ul, div64x32u(15428875531424ull, 41179580ul, 0) );
EXPECT_EQ(828241ul, div64x32u(66722763333252ull, 80559579ul, 0) );
EXPECT_EQ(54977ul, div64x32u(107186746035844ull, 1949646622ul, 0) );
EXPECT_EQ(52705ul, div64x32u(84715461697580ull, 1607349056ul, 0) );
EXPECT_EQ(10408ul, div64x32u(14796751061014ull, 1421571950ul, 0) );
EXPECT_EQ(64867ul, div64x32u(88753205569500ull, 1368213176ul, 0) );
EXPECT_EQ(75029ul, div64x32u(73031816728449ull, 973371295ul, 0) );
EXPECT_EQ(58578ul, div64x32u(119581633625353ull, 2041389588ul, 0) );
EXPECT_EQ(27874ul, div64x32u(43577628839591ull, 1563368608ul, 0) );
EXPECT_EQ(86716ul, div64x32u(72625682214044ull, 837503925ul, 0) );
EXPECT_EQ(2620ul, div64x32u(2972778197422ull, 1134569764ul, 0) );
EXPECT_EQ(47348ul, div64x32u(47446907512307ull, 1002067845ul, 0) );
EXPECT_EQ(100730ul, div64x32u(140138156344481ull, 1391220347ul, 0) );
EXPECT_EQ(77332ul, div64x32u(93537925819324ull, 1209559856ul, 0) );
EXPECT_EQ(224918ul, div64x32u(106280895403652ull, 472530685ul, 0) );
EXPECT_EQ(336957ul, div64x32u(133918759064154ull, 397435119ul, 0) );
EXPECT_EQ(55442ul, div64x32u(118023337820002ull, 2128759945ul, 0) );
EXPECT_EQ(36425ul, div64x32u(65855948327869ull, 1807952737ul, 0) );
EXPECT_EQ(140683ul, div64x32u(133853680662540ull, 951452712ul, 0) );
EXPECT_EQ(85384ul, div64x32u(75196617203919ull, 880686664ul, 0) );
EXPECT_EQ(22357ul, div64x32u(35413488983466ull, 1583943643ul, 0) );
EXPECT_EQ(61214ul, div64x32u(106383838151400ull, 1737894697ul, 0) );
EXPECT_EQ(82275ul, div64x32u(138053825740883ull, 1677941269ul, 0) );
EXPECT_EQ(4726ul, div64x32u(5267083895782ull, 1114377747ul, 0) );
EXPECT_EQ(5142ul, div64x32u(1818853135156ull, 353663603ul, 0) );
EXPECT_EQ(44370ul, div64x32u(93052119945686ull, 2097178152ul, 0) );
EXPECT_EQ(63854ul, div64x32u(132226775060001ull, 2070751660ul, 0) );
EXPECT_EQ(95559ul, div64x32u(76142898871131ull, 796812948ul, 0) );
EXPECT_EQ(2800051ul, div64x32u(82945933269889ull, 29623006ul, 0) );
EXPECT_EQ(3520ul, div64x32u(6745036035121ull, 1915953171ul, 0) );
EXPECT_EQ(4670ul, div64x32u(8864924637930ull, 1897927310ul, 0) );
EXPECT_EQ(173494ul, div64x32u(93433686334841ull, 538540099ul, 0) );
EXPECT_EQ(48618ul, div64x32u(8969854017525ull, 184494113ul, 0) );
EXPECT_EQ(51764ul, div64x32u(40323173936059ull, 778980165ul, 0) );
EXPECT_EQ(16600ul, div64x32u(19929356645894ull, 1200561305ul, 0) );
EXPECT_EQ(41718ul, div64x32u(55922546865337ull, 1340474755ul, 0) );
EXPECT_EQ(5092ul, div64x32u(10124678685989ull, 1988123095ul, 0) );
EXPECT_EQ(135662ul, div64x32u(92157503228301ull, 679313045ul, 0) );
EXPECT_EQ(40017ul, div64x32u(82010074843422ull, 2049339312ul, 0) );
EXPECT_EQ(119194ul, div64x32u(125899884819879ull, 1056258965ul, 0) );
EXPECT_EQ(57312ul, div64x32u(92364527375217ull, 1611595929ul, 0) );
EXPECT_EQ(28570ul, div64x32u(20848005618082ull, 729697896ul, 0) );
EXPECT_EQ(325263ul, div64x32u(39485276051944ull, 121394617ul, 0) );
EXPECT_EQ(26078ul, div64x32u(34623862690059ull, 1327700168ul, 0) );
EXPECT_EQ(103906ul, div64x32u(62015221886670ull, 596839070ul, 0) );
EXPECT_EQ(152215ul, div64x32u(137653934757012ull, 904338696ul, 0) );
EXPECT_EQ(520437ul, div64x32u(133565989747988ull, 256641768ul, 0) );
EXPECT_EQ(120593ul, div64x32u(108732639176262ull, 901647347ul, 0) );
EXPECT_EQ(3707ul, div64x32u(4876255826407ull, 1315315877ul, 0) );
EXPECT_EQ(38322ul, div64x32u(76365982743463ull, 1992701493ul, 0) );
EXPECT_EQ(10020ul, div64x32u(10321965510279ull, 1030103100ul, 0) );
EXPECT_EQ(71766ul, div64x32u(122097807743483ull, 1701331238ul, 0) );
EXPECT_EQ(5608ul, div64x32u(10154675601509ull, 1810523921ul, 0) );
EXPECT_EQ(27366ul, div64x32u(20792116069125ull, 759777786ul, 0) );
EXPECT_EQ(10565ul, div64x32u(19299321856712ull, 1826714696ul, 0) );
EXPECT_EQ(91478ul, div64x32u(129262588097775ull, 1413042077ul, 0) );
EXPECT_EQ(101539ul, div64x32u(111338803192971ull, 1096511315ul, 0) );
EXPECT_EQ(19939ul, div64x32u(36964155928137ull, 1853823682ul, 0) );
EXPECT_EQ(36707ul, div64x32u(39613975586232ull, 1079182900ul, 0) );
EXPECT_EQ(43171ul, div64x32u(47923467923251ull, 1110064374ul, 0) );
EXPECT_EQ(61145ul, div64x32u(78882740390919ull, 1290091918ul, 0) );
EXPECT_EQ(231193ul, div64x32u(82885604614975ull, 358511276ul, 0) );
EXPECT_EQ(14479ul, div64x32u(7230015691399ull, 499328772ul, 0) );
EXPECT_EQ(21252ul, div64x32u(35542963981186ull, 1672415653ul, 0) );
